Automated Translation of Safety Critical Application Software Specifications into PLC Ladder Logic

The numerous benefits of automatic application code generation are widely accepted within the software engineering community. A few of these benefits include raising the abstraction level of application programming, shorter product development time, lower maintenance costs, and increased code quality and consistency. Surprisingly, code generation concepts have not yet found wide acceptance and use in the field of programmable logic controller (PLC) software development. Software engineers at the NASA Kennedy Space Center (KSC) recognized the need for PLC code generation while developing their new ground checkout and launch processing system. They developed a process and a prototype software tool that automatically translates a high-level representation or specification of safety critical application software into ladder logic that executes on a PLC. This process and tool are expected to increase the reliability of the PLC code over that which is written manually, and may even lower life-cycle costs and shorten the development schedule of the new control system at KSC. This paper examines the problem domain and discusses the process and software tool that were prototyped by the KSC software engineers

Long-Acting Injectable vs Oral Antipsychotics for Relapse Prevention in Schizophrenia: A Meta-Analysis of Randomized Trials

Background: While long-acting injectable antipsychotics (LAIs) are hoped to reduce high relapse rates in schizophrenia, recent randomized controlled trials (RCTs) challenged the benefits of LAIs over oral antipsychotics (OAPs). Methods: Systematic review/meta-analysis of RCTs that lasted = 6 months comparing LAIs and OAPs. Primary outcome was study-defined relapse at the longest time point; secondary outcomes included relapse at 3, 6, 12, 18, and 24 months, all-cause discontinuation, discontinuation due to adverse events, drug inefficacy (ie, relapse + discontinuation due to inefficacy), hospitalization, and nonadherence. Results: Across 21 RCTs (n = 5176), LAIs were similar to OAPs for relapse prevention at the longest time point (studies = 21, n = 4950, relative risk [RR] = 0.93, 95% confidence interval [CI]: 0.80-1.08, P =.35). The finding was confirmed restricting the analysis to outpatient studies lasting \u3e= 1 year (studies = 12, RR = 0.93, 95% CI: 0.71-1.07, P =.31). However, studies using first-generation antipsychotic (FGA)-LAIs (studies = 10, RR = 0.82, 95% CI: 0.69-0.97, P =.02) and those publishe

Intra- and interspecies interactions between prion proteins and effects of mutations and polymorphisms

Recently, crystallization of the prion protein in a dimeric form was reported. Here we show that native soluble homogenous FLAG-tagged prion proteins from hamster, man and cattle expressed in the baculovirus system are predominantly dimeric. The PrP/PrP interaction was confirmed in Semliki Forest virus-RNA transfected BHK cells co-expressing FLAG- and oligohistidine-tagged human PrP. The yeast two-hybrid system identified the octarepeat region and the C-terminal structured domain (aa90-aa230) of PrP as PrP/PrP interaction domains. Additional octarepeats identified in patients suffering from fCJD reduced (wtPrP versus PrP+90R) and completely abolished (PrP+90R versus PrP+90R) the PrP/PrP interaction in the yeast two-hybrid system. In contrast, the Met/Val polymorphism (aa129), the GSS mutation Pro102Leu and the FFI mutation Asp178Asn did not affect PrP/PrP interactions. Proof of interactions between human or sheep and bovine PrP, and sheep and human PrP, as well as lack of interactions between human or bovine PrP and hamster PrP suggest that interspecies PrP interaction studies in the yeast two-hybrid system may serve as a rapid pre-assay to investigate species barriers in prion diseases

Cost-effectiveness of financial incentives to promote adherence to depot antipsychotic medication: economic evaluation of a cluster-randomised controlled trial

Background: Offering a modest financial incentive to people with psychosis can promote adherence to depot antipsychotic medication, but the cost-effectiveness of this approach has not been examined. Methods: Economic evaluation within a pragmatic cluster-randomised controlled trial. 141 patients under the care of 73 teams (clusters) were randomised to intervention or control; 138 patients with diagnoses of schizophrenia, schizo-affective disorder or bipolar disorder participated. Intervention participants received £15 per depot injection over 12 months, additional to usual acute, mental and community primary health services. The control group received usual health services. Main outcome measures: incremental cost per 20% increase in adherence to depot antipsychotic medication; incremental cost of ‘good’ adherence (defined as taking at least 95% of the prescribed number of depot medications over the intervention period). Findings: Economic and outcome data for baseline and 12-month follow-up were available for 117 participants. The adjusted difference in adherence between groups was 12.2% (73.4% control vs. 85.6% intervention); the adjusted costs difference was £598 (95% CI -£4 533, £5 730). The extra cost per patient to increase adherence to depot medications by 20% was £982 (95% CI -£8 020, £14 000). The extra cost per patient of achieving 'good' adherence was £2 950 (CI -£19 400, £27 800). Probability of cost-effectiveness exceeded 97.5%at willingness-to-pay values of £14 000 for a 20% increase in adherence and £27 800 for good adherence. Interpretation: Offering a modest financial incentive to people with psychosis is cost-effective in promoting adherence to depot antipsychotic medication. Direct healthcare costs (including costs of the financial incentive) are unlikely to be increased by this intervention. Trial Registration: ISRCTN.com 7776928

Teratogenic risk and contraceptive counselling in psychiatric practice: analysis of anticonvulsant therapy

<p>Background: Anticonvulsants have been used to manage psychiatric conditions for over 50 years. It is recognised that some, particularly valproate, carbamazepine and lamotrigine, are human teratogens, while others including topiramate require further investigation. We aimed to appraise the documentation of this risk by psychiatrists and review discussion around contraceptive issues.</p> <p>Methods: A retrospective review of prescribing patterns of four anticonvulsants (valproate, carbamazepine, lamotrigine and topiramate) in women of child bearing age was undertaken. Documented evidence of discussion surrounding teratogenicity and contraceptive issues was sought.</p> <p>Results: Valproate was most commonly prescribed (n=67). Evidence of teratogenic risk counselling at medication initiation was sub-optimal – 40% of individuals prescribed carbamazepine and 22% of valproate. Documentation surrounding contraceptive issues was also low- 17% of individuals prescribed carbamazepine and 13% of valproate.</p> <p>Conclusion: We found both low rates of teratogenic risk counselling and low rates of contraception advice in our cohort. Given the high rates of unplanned pregnancies combined with the relatively high risk of major congenital malformations, it is essential that a detailed appraisal of the risks and benefits associated with anticonvulsant medication occurs and is documented within patients’ psychiatric notes.</p&gt

Treatment of psychoses in patients with epilepsy: an update.

Psychotic disorders represent a relatively rare but serious comorbidity in epilepsy. Current epidemiological studies are showing a point prevalence of 5.6% in unselected samples of people with epilepsy going up to 7% in patients with temporal lobe epilepsy, with a pooled odds ratio of 7.8 as compared with the general population. This is a narrative review of the most recent updates in the management of psychotic disorders in epilepsy, taking into account the clinical scenarios where psychotic symptoms occur in epilepsy, interactions with antiepileptic drugs (AEDs) and the risk of seizures with antipsychotics. Psychotic symptoms in epilepsy can arise in a number of different clinical scenarios from peri-ictal symptoms, to chronic interictal psychoses, comorbid schizophrenia and related disorders to the so-called forced normalization phenomenon. Data on the treatment of psychotic disorders in epilepsy are still limited and the management of these problems is still based on individual clinical experience. For this reason, guidelines of treatment outside epilepsy should be adopted taking into account epilepsy-related issues including interactions with AEDs and seizure risk. Second-generation antipsychotics, especially risperidone, can represent a reasonable first-line option because of the low propensity for drug-drug interactions and the low risk of seizures. Quetiapine is burdened by a clinically significant pharmacokinetic interaction with enzyme-inducing drugs leading to undetectable levels of the antipsychotic, even for dosages up to 700 mg per day

Clinical relevance of findings in trials of CBT for depression

Cognitive behavioural therapy (CBT) is beneficial in depression. Symptom scores can be translated into Clinical Global Impression (CGI) scale scores to indicate clinical relevance. We aimed to assess the clinical relevance of findings of randomised controlled trials (RCTs) of CBT in depression. We identified RCTs of CBT that used the Hamilton Rating Scale for Depression (HAMD). HAMD scores were translated into Clinical Global Impression – Change scale (CGI-I) scores to measure clinical relevance. One hundred and seventy datasets from 82 studies were included. The mean percentage HAMD change for treatment arms was 53.66%, and 29.81% for control arms, a statistically significant difference. Combined active therapies showed the biggest improvement on CGI-I score, followed by CBT alone. All active treatments had better than expected HAMD percentage reduction and CGI-I scores. CBT has a clinically relevant effect in depression, with a notional CGI-I score of 2.2, indicating a significant clinical response. The non-specific or placebo effect of being in a psychotherapy trial was a 29% reduction of HAMD

The diagnosis of mental disorders: the problem of reification

A pressing need for interrater reliability in the diagnosis of mental disorders emerged during the mid-twentieth century, prompted in part by the development of diverse new treatments. The Diagnostic and Statistical Manual of Mental Disorders (DSM), third edition answered this need by introducing operationalized diagnostic criteria that were field-tested for interrater reliability. Unfortunately, the focus on reliability came at a time when the scientific understanding of mental disorders was embryonic and could not yield valid disease definitions. Based on accreting problems with the current DSM-fourth edition (DSM-IV) classification, it is apparent that validity will not be achieved simply by refining criteria for existing disorders or by the addition of new disorders. Yet DSM-IV diagnostic criteria dominate thinking about mental disorders in clinical practice, research, treatment development, and law. As a result, the modernDSMsystem, intended to create a shared language, also creates epistemic blinders that impede progress toward valid diagnoses. Insights that are beginning to emerge from psychology, neuroscience, and genetics suggest possible strategies for moving forward